Linear logic

Results: 927



#Item
171

Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1

Add to Reading List

Source URL: ftp.yzu.edu.tw

Language: English - Date: 2010-04-20 11:48:05
    172

    Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1

    Add to Reading List

    Source URL: mirror.easyname.at

    Language: English - Date: 2010-04-20 11:48:05
      173

      BRICS Basic Research in Computer Science BRICS RS-97-9 Henriksen & Thiagarajan: A Product Version of Dynamic Linear Time Temporal Logic A Product Version of

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 1997-06-05 09:23:06
        174

        Complexity-directed denotational models of linear logic LCC 2012 Olivier LAURENT

        Add to Reading List

        Source URL: ptmat.fc.ul.pt

        Language: English - Date: 2012-07-18 05:41:04
          175

          Specification-Guided Controller Synthesis for Linear ∗ Systems and Safe Linear-Time Temporal Logic Matthias Rungger Manuel Mazo Jr.

          Add to Reading List

          Source URL: www.mmazojr.net

          Language: English - Date: 2014-09-01 07:12:16
            176

            Logic and Computational Complexity 2012 INVITED SPEAKER: Etienne Grandjean TITLE: An invitation to linear time complexity ABSTRACT: The polynomial time class (PTIME) is one of the most fundamental complexity classes, gen

            Add to Reading List

            Source URL: ptmat.fc.ul.pt

            Language: English - Date: 2012-06-20 17:07:09
              177

              Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1

              Add to Reading List

              Source URL: mirrors.dotsrc.org

              Language: English - Date: 2010-04-20 11:48:05
                178

                The Semantics and Proof Theory of Linear Logic Arnon Avron Department of Computer Science School of Mathematical Sciences Tel-Aviv University

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                Language: English - Date: 2004-01-21 05:20:53
                  179

                  Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1

                  Add to Reading List

                  Source URL: mirrors.fe.up.pt

                  Language: English - Date: 2010-04-20 11:48:05
                    180

                    BRICS Basic Research in Computer Science BRICS RS-98-8 Thiagarajan & Henriksen: Distributed Versions of Linear Time Temporal Logic

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1999-04-05 10:42:03
                      UPDATE